| class NEXT{T < $NEXT{T}} < $NEXT{T} |
|---|
| **** | Inherited by classes whose objects need to point to a list of objects of type T. Classes which inherit this get a `next' pointer and some features to manipulate it. It doesn't suport circular lists. |
| $NEXT{_} |
| BUCKET{_} | DATABUCKET{_,_} |
| attr next:T; |
|---|
| **** | Pointer to next element in list, if any. |
| attr next:T; |
|---|
| **** | Pointer to next element in list, if any. |
| append(l:T) |
|---|
| **** | Append the list `l' to the end of the list self. self may not be void but `l' may be. |
| insert(e:T) |
|---|
| **** | Insert the single element `e' after self. Neither may be void, `e.next' must be void. |
| size:INT |
|---|
| **** | The number of elements in the list starting with self. Self may be void. |